Theorem nnnorm_inv'

Modification history