Theorem EquivLike.comp_surjective

Modification history