return to top
source
Alias of Fin.isNone_findSome?_iff.
Fin.isNone_findSome?_iff
Alias of Fin.isSome_findSome?_iff.
Fin.isSome_findSome?_iff
Alias of Fin.exists_eq_some_of_findSome?_eq_some.
Fin.exists_eq_some_of_findSome?_eq_some
Alias of Fin.isSome_find?_iff.
Fin.isSome_find?_iff
Alias of Fin.isNone_find?_iff.
Fin.isNone_find?_iff