Mathlib v3 is deprecated. Go to Mathlib v4

Theorem preorder.ext

Modification history

2018-07-07 02:03

order/basic.lean

feat(order/basic): add extensionality for order structures

Added preorder.ext View on Github →