Theorem Equiv.Perm.eq_sign_of_surjective_hom

Modification history