Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-24 22:52 5d1e8f79

View on Github →

docs(control/applicative): Add module docstring (#9930)

Estimated changes