Theorem Fin.coe_int_sub_eq_mod

Modification history