Theorem Functor.Comp.map_pure

Modification history