Contact Privacy DMCA

Robuta

https://agda.github.io/agda-stdlib/v2.1/Algebra.Construct.NaturalChoice.MinMaxOp.html Algebra.Construct.NaturalChoice.MinMaxOp algebra construct