Theorem MulAction.mem_stabilizer_iff

Modification history