Theorem IsUnit.cfcNNRpow

Modification history