src/HOL/Rings.thy
changeset 66831 29ea2b900a05
parent 66816 212a3334e7da
child 66937 a1a4a5e2933a