Theorem MulAction.mem_stabilizerSubmonoid_iff

Modification history