Theorem Option.get!_some

Modification history

2024-08-05 08:52
Mathlib/Data/Option/Basic.lean
chore: move toolchain to v4.11.0-rc1 (#15513)
Deleted Option.get!_someView on Github →
2024-07-01 09:41
Mathlib/Data/Option/Basic.lean
feat(Data): Option.get!_some and Option.get!_none (#13957) …
Added Option.get!_someView on Github →