Theorem Mon_Class.mul_assoc_flip

Modification history