src/HOL/Algebra/QuotRing.thy
changeset 30549 d2d7874648bd
parent 29242 e190bc2a5399
child 35847 19f1f7066917