Theorem Option.not_isSome_iff_eq_none

Modification history