Theorem Holor.mul_assoc0

Modification history