src/HOL/Algebra/QuotRing.thy
changeset 63319 bc8793d7bd21
parent 63167 0909deb8059b
child 67399 eab6ce8368fa