Skip to content

feat(math): add universal algebra domain with term evaluation, equation profiles, subalgebras, congruences, and quotients (#1912) #2655

feat(math): add universal algebra domain with term evaluation, equation profiles, subalgebras, congruences, and quotients (#1912)

feat(math): add universal algebra domain with term evaluation, equation profiles, subalgebras, congruences, and quotients (#1912) #2655