PUnit
is a GCD monoid #
This file collects facts about algebraic structures on the one-element type, e.g. that it is has a GCD.
Equations
- One or more equations did not get rendered due to their size.
PUnit
is a GCD monoid #This file collects facts about algebraic structures on the one-element type, e.g. that it is has a GCD.