Theorem IsPGroup.sylow_mem_fixedPoints_iff

Modification history