Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-17 15:37 6f793bb0

View on Github →

chore(measure_theory/group/basic): drop measurability assumption (#10367)

Estimated changes