Fix #2396 by removing redundant zero in IsNonAssociativeRing#2410

Open

lexvanderstoep wants to merge 5 commits intoagda:masterfrom lexvanderstoep:redundant_zero_proof

+12-9

Commits on Dec 18, 2024

Fix agda#2396 by removing redundant zero in IsNonAssociativeRing
lexvanderstoep
committed
Remove zero arguments for IsNonAssociativeRing
lexvanderstoep
committed

Commits on Dec 21, 2024

Commits on Feb 6, 2025

Merge branch 'master' into redundant_zero_proof
jamesmckinna
authored