Theorem RingNorm.ext

Modification history