| ▲ | resters a day ago | |
This is useful to anyone who wants to reason through the proofs constructively and tinker with the approaches. Thank you! | ||
| ▲ | ndrwnaguib 20 hours ago | parent [-] | |
Thank you! | ||
| ▲ | resters a day ago | |
This is useful to anyone who wants to reason through the proofs constructively and tinker with the approaches. Thank you! | ||
| ▲ | ndrwnaguib 20 hours ago | parent [-] | |
Thank you! | ||