Theorem Functor.Comp.seq_assoc

Modification history