Mathlib v3 is deprecated. Go to Mathlib v4

Theorem exists_false

Modification history

2017-09-03 20:55
algebra/big_operators.lean
refactor(logic/basic): refactor logic theorems
Modified exists_falseView on Github →
2017-08-28 21:30
algebra/big_operators.lean
feat(algebra/big_operators): add semiring and integral_domain rules
Added exists_falseView on Github →