Commit 2024-08-05 06:34 8c4038b2

View on Github →

chore: backports for leanprover/lean4#4814 (part 2) (#15246) See #15245

Estimated changes

modified theorem List.foldr_eq_of_comm'