Theorem Fin.coe_int_add_eq_mod

Modification history