Theorem Submonoid.mem_centralizer_iff

Modification history