Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-12-03 22:32 d4ebdc81

View on Github →

chore(algebra/group/conj): move out results about finiteness (#17789)

Estimated changes