Theorem Fin.find_eq_none_iff

Modification history