src/ZF/ex/Ring.thy
changeset 66787 64b47495676d
parent 60770 240563fbf41d
child 67398 5eb932e604a2