Noether.Algebra.Tags

data BinaryNumeric

data BinaryBoolean

data Side

data FunctionLift