basic): `inclusion` lemmas (#13754)

Commit

3 years ago

feat(group_theory/subgroup/basic): `inclusion` lemmas (#13754) A few lemmas for `set.inclusion`, `subgroup.inclusion`, `subalgebra.inclusion`.

Author

YaelDillies

Parents