Theorem Equiv.Perm.mem_fixedPoints_iff_apply_mem_of_mem_centralizer

Modification history