Theorem Submonoid.inv_mem_units_iff

Modification history