Mathlib Changelog v4

Changelog About Github

Theorem Filter.Tendsto.curry

Modification history

2023-01-23 13:01

Mathlib/Order/Filter/Curry.lean

Feat: port Order.Filter.Curry (#1773)

Added Filter.Tendsto.curry View on Github →