Skip to content

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

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) #4178

Benchmark Validation

succeeded Aug 18, 2026 in 10s