Theorem Commute.self_cast_nat_mul_cast_nat_mul

Modification history