mathlib3
refactor: change notation for interval integrals
#19225

Closed

Commits

Snapshot

urkud committed 2 years ago
Also change notation for interval average

urkud committed 2 years ago
Drop type annotations

urkud committed 2 years ago
Update src/probability/strong_law.lean

urkud committed 2 years ago

Loading