Theorem IsUnit.val_inv_unit'

Modification history