Attic/MySimplification.thy
author Chengsong
Mon, 10 Jul 2023 14:32:48 +0100
changeset 663 0d1e68268d0f
parent 95 a33d3040bf7e
permissions -rw-r--r--
more explanation for the name "closed form" and their intuition

theory MySimplification
imports Main
begin