- #1
peos69
- 102
- 0
Since in another thread people occupy them selfs with highly formalized formulas let this
thread be the formalization of a high school concept,that of the definition of sqroot.
And then prove all the the theorem concerning sqroots in a formalized manner
thread be the formalization of a high school concept,that of the definition of sqroot.
And then prove all the the theorem concerning sqroots in a formalized manner