Module Lang.F.Tau

module Tau: QED.Tau