Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fact.elim

Modification history

2021-03-24 16:04

src/logic/basic.lean

feat(tactic/lint): linter for @[class] def (#6061) …

Modified fact.elim View on Github →

2020-09-23 18:48

src/logic/basic.lean

feat(measure_theory): ext lemmas for measures (#3895) …

Added fact.elim View on Github →