Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-04-16 20:29 f2361dc2

View on Github →

fix(group_theory/coset): left_cosets.left_cosets -> left_cosets.eq_class_eq_left_coset is now a theorem

Estimated changes