basic): Kernel of `subtype` and `inclusion` (#9763)

Commit

4 years ago

feat(group_theory/subgroup/basic): Kernel of `subtype` and `inclusion` (#9763) `subtype` and `inculusion` are injective, so they have trivial kernel.

Author

tb65536

Parents