Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-19 07:28 dd9f1c3b

View on Github →

chore(order/basic): whitespaces and caps (#8359)

Estimated changes

modified theorem exists_between
modified theorem le_update_iff
modified def monotone
modified theorem monotone_app
modified theorem monotone_const
modified theorem monotone_id
modified theorem monotone_lam
modified theorem monotone_of_monotone_nat
modified theorem no_bot
modified theorem no_top
modified def order.preimage
modified def order_dual
modified theorem pi.le_def
modified theorem pi.lt_def
modified theorem update_le_iff
modified theorem update_le_update_iff