Commit 2024-04-01 09:43 b7ca9253

View on Github →

feat(Option/Basic): add 2 trivial lemmas (#11641)

Estimated changes

added theorem Option.get_map
added theorem Option.isSome_map