Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-26 01:01 e88b4ede

View on Github →

chore(measure_theory/constructions/pi): add pi_of_empty (#9937)

Estimated changes