Commit 2023-02-24 17:45 047faaf0

View on Github →

chore: drop some deprecated lemmas (#2483) Forward-port leanprover-community/mathlib#18492

Estimated changes