Theorem Int.fract_div_mul_self_add_zsmul_eq

Modification history