src/HOL/Rings.thy
changeset 41229 d797baa3d57c
parent 38642 8fa437809c67
child 44064 5bce8ff0d9ae