src/HOL/Semiring_Normalization.thy
changeset 67022 49309fe530fd
parent 66836 4eb431c3f974
child 69593 3dda49e08b9d