simplify definition as sort constraints ensure finiteness (thanks to Jesus Aransay)
simplify definition as sort constraints ensure finiteness (thanks to Jesus Aransay)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle