Theorem Submonoid.mem_units_of_val_mem_inv_val_mem

Modification history