Refactor large algebraic structures to use cumulative large sets #1848
Description
Many of the axioms around Large-Monoid and up could be expressed in terms of a similarity-preserving binary operation on a cumulative large set.
{{ message }}
Many of the axioms around Large-Monoid and up could be expressed in terms of a similarity-preserving binary operation on a cumulative large set.