MaxZX#1167

Draft

FranziskusWiesnet wants to merge 7 commits into

agda:masterfrom

FranziskusWiesnet:dev

Commits on Oct 30, 2024

Determinat added
Franziskus Wiesnet
committed
Comments added
Franziskus Wiesnet
committed

Commits on Oct 31, 2024

whitespace fix
Franziskus Wiesnet
committed
names fixed
Franziskus Wiesnet
committed

Commits on Nov 12, 2024

MaxZX added
Franziskus Wiesnet
committed
MaxZX added
Franziskus Wiesnet
committed

Commits on Nov 14, 2024

PolynomialRingZ added
Franziskus Wiesnet
committed