Noether.Algebra.Subtyping

class Subtype a b

embed