src/HOL/Library/positivstellensatz.ML
changeset 61952 546958347e05
parent 61945 1135b8de26c3
child 62177 3a578ee55bff