Theorem Equiv.Perm.exists_fixed_point_of_prime'

Modification history