Commit 2024-08-08 01:59 f29176d1

View on Github →

chore: backports for leanprover/lean4#4814 (part 31) (#15575)

Estimated changes

modified theorem Measurable.lmarginal