Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-15 19:12 7b607682

View on Github →

feat(ring_theory/subring): weaken typeclass assumption for units.pos_subgroup (#10332)

Estimated changes

modified theorem units.mem_pos_subgroup
modified def units.pos_subgroup