defs): fix minor typo (#5827)

Commit

4 years ago

fix(group_theory/group_action/defs): fix minor typo (#5827) heirarchy -> hierarchy

Author

Julian-Kuelshammer

Parents