Def Option.mapM

Modification history

2021-12-13 09:29

Mathlib/Tactic/Lint/Simp.lean

chore: bump to Lean 4 nightly 2021-12-13 (#130)

Deleted Option.mapM View on Github →

2021-11-22 15:44

Mathlib/Tactic/Lint/Simp.lean

feat: add simp linter (#100) …

Added Option.mapM View on Github →