Theorem Int.units_coe_mul_self

Modification history