Theorem Option.is_none_iff_eq_none

Modification history