Theorem Fin.eq_mk_iff_val_eq

Modification history