Theorem PseudoEpimorphism.id_comp

Modification history