Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-08 09:47 73a30da3

View on Github →

feat(group_theory/subgroup): is_subgroup.inter (#994)

Estimated changes

Modified src/group_theory/subgroup.lean

Modified src/group_theory/submonoid.lean

added theorem is_submonoid.inter