Theorem Equiv.Perm.not_solvable

Modification history