Theorem IsUnit.unit_spec

Modification history