Theorem OptionT.ext

Modification history

2025-03-12 20:18

Mathlib/Control/Lawful.lean

chore: upstream `OptionT` lemmas to batteries (#22859) …

Deleted OptionT.ext View on Github →

2024-01-15 00:29

Mathlib/Init/Control/Lawful.lean

fix: shake the import tree (#9749) …

Modified OptionT.ext View on Github →

2023-06-14 02:21

Mathlib/Init/Control/Lawful.lean

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

Added OptionT.ext View on Github →