Proof
🔎
Proofs
by @under-write-dont-over-write
These claims have been reviewed and verified by a third party.
Loading proofs...