src/HOL/Library/Commutative_Ring.thy
changeset 31563 ded2364d14d4
parent 31021 53642251a04f
child 32960 69916a850301