a possibly (?) more perspicous simprule in the "simpset" part
a possibly (?) more perspicous simprule in the "simpset" part

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