Theorem IsUnit.map'

Modification history