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

Commit 79ba61c

authored and

committed

feat(ring_theory/algebra): make algebra a class

1 parent a0b6cae commit 79ba61cCopy full SHA for 79ba61c

1 file changed

+181

-174

lines changed

+181

-174

lines changed

Comments

(0)