Theorem Commute.self_natCast_mul_natCast_mul

Modification history