Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
Prop.bot_eq_false
Modification history
2022-11-27 23:52
src/order/bounded_order.lean
chore(order/bounded_order): split (#17730) …
Modified
Prop.bot_eq_false
View on Github →
2022-10-25 03:33
src/order/bounded_order.lean
feat(combinatorics/simple_graph/subgraph): single-vertex and single-edge subgraphs (#16435) …
Added
Prop.bot_eq_false
View on Github →