Commit 2023-05-22 09:14 02d14be2

View on Github →

chore: Add reference for SRL (#4160) Match https://github.com/leanprover-community/mathlib/pull/19051 (and one line of https://github.com/leanprover-community/mathlib/pull/18371)

Estimated changes