Commit 2023-12-05 00:40 befd8b23

View on Github →

feat(RingTheory): coalgebra definition (#8621) Add definition and example of a coalgebra.

Estimated changes