Commit 2022-01-13 15:18 a16a5b5b
View on Github →chore(order/lattice_intervals): review (#11416)
- use
@[reducible] protected def
; - add
is_least.order_bot
andis_greatest.order_top
, use them; - weaken TC assumptions on
set.Ici.bounded_order
andset.Iic.bounded_order
.