Theorem Fin.mod_eq_val

Modification history