Commit 2023-05-24 08:28 2cab3965

View on Github →

chore: forward port leanprover-community/mathlib#19038 (#4290)

Estimated changes

added def starL'