Theorem mem_fixingSubmonoid_iff

Modification history