mathlib3
29507a4b - feat(group_theory/subgroup): subtype.add_comm_group (#903)

Commit

6 years ago

feat(group_theory/subgroup): subtype.add_comm_group (#903)

References

#903 - feat(group_theory/subgroup): subtype.add_comm_group

Author

ChrisHughes24

ChrisHughes24

Parents

Loading