Commit 2024-07-01 09:41 c39dfba8

View on Github →

feat(Data): Option.get!_some and Option.get!_none (#13957) Analogous to the simp lemmas for getD, for example.

Estimated changes

added theorem Option.get!_none
added theorem Option.get!_some