Theorem Mul.to_CovariantClass_right

Modification history