Theorem Mon_Class.mul_one

Modification history