Theorem PseudoEpimorphism.id_apply

Modification history