Theorem Commute.natCast_mul_self

Modification history