HOL-ex: Library/Commutative_Ring.thy;
HOL-ex: Library/Commutative_Ring.thy;

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