module Noether.Algebra.Derive where

data Automatic