Theorem Bimon_Class.mul_counit

Modification history