src/HOL/Semiring_Normalization.thy
changeset 71593 71579bd59cd4
parent 70332 315489d836d8