Theorem Mul.to_covariantClass_left

Modification history