Mathspace system requirements
×
Angle sum property (with notions of proof & verification through paper folding, proofs using property of parallel lines, difference between proof and verification.)
Exterior angle property
