Mathlib v3 is deprecated. Go to Mathlib v4

Theorem option.cons_none_some

Modification history

2022-06-13 23:08

src/data/option/basic.lean

refactor(data/option/defs): Swap arguments to `option.elim` (#14681) …

Deleted option.cons_none_some View on Github →

2022-04-21 12:10

src/data/option/basic.lean

chore(number_theory/dioph): Cleanup (#13403) …

Added option.cons_none_some View on Github →