Theorem ExceptT.run_mk

Modification history

2024-11-13 10:39

Mathlib/Control/Lawful.lean

chore: bump Mathlib for batteries#1029 (#18947) …

Deleted ExceptT.run_mk View on Github →

2023-06-14 02:21

Mathlib/Init/Control/Lawful.lean

feat: port Init.Control.Lawful (#4999)

Added ExceptT.run_mk View on Github →