src/HOL/Semiring_Normalization.thy
changeset 66831 29ea2b900a05
parent 61153 3d5e01b427cb
child 66836 4eb431c3f974