informal proofs

Upgrade
Loading…