thm:pythagoras
a2+b2=c2a^2+b^2=c^2a2+b2=c2
No prerequisites tracked.
No dependents yet.
No dependent proofs yet.
Loading…
Loading...