Theorem Mul.to_CovariantClass_left

Modification history