Theorem Submonoid.inv_mem_units

Modification history