Commit 2022-01-02 17:21 3f777613
View on Github →feat(ring_theory/algebraic): algebraic functions (#11156)
Accessible via a new algebra (polynomial R) (R → R)
and a generalization that gives algebra (polynomial R) (S → S) when [algebra R S].
feat(ring_theory/algebraic): algebraic functions (#11156)
Accessible via a new algebra (polynomial R) (R → R)
and a generalization that gives algebra (polynomial R) (S → S) when [algebra R S].