Theorem Mon_Class.one_mul

Modification history