Theorem Equiv.Perm.Basis.mem_fixedPoints_or_exists_zpow_eq

Modification history