chore: add missing since dates to deprecations

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Apache License 2.0

242 stars 101 forks source link

Closed kim-em closed 3 months ago