Theorem Equiv.Perm.exists_fixed_point_of_prime

Modification history