Theorem Equiv.Perm.sigmaCongrRightHom.card_range

Modification history