Theorem MulAction.mem_fixedPoints_iff_card_orbit_eq_one

Modification history