Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.liminf_congr

Modification history

2020-03-16 20:04

src/order/liminf_limsup.lean

chore(order/liminf_limsup): lint and cleanup the file (#2162) …

Added filter.liminf_congr View on Github →