Theorem PseudoEpimorphism.comp_apply

Modification history