This repository was archived by the owner on Jul 24, 2024. It is now read-only.

feat(data/equiv/algebra): automorphism groups for other structures (#…