Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_id_iff_le

Modification history

2022-06-24 09:56
src/topology/order.lean
chore(order/filter): turn `tendsto_id'` into an `iff` lemma (#14791)
Added continuous_id_iff_leView on Github →