Theorem Submonoid.val_mem_of_mem_units

Modification history