Theorem guard_false

Modification history

2024-05-31 00:19

Mathlib/Control/Basic.lean

chore: fix formatting of many misplaced "by"s (#13204)

Modified guard_false View on Github →

2022-11-25 20:23

Mathlib/Control/Basic.lean

feat: port Control.Basic (#588) …

Added guard_false View on Github →