src/HOL/Decision_Procs/Commutative_Ring_Complete.thy
changeset 58306 117ba6cbe414
parent 58259 52c35a59bbf5
child 58710 7216a10d69ba