Theorem Functor.Comp.applicative_comp_id

Modification history