| ▲ | pg83 4 hours ago | |
[flagged] | ||
| ▲ | eru an hour ago | parent [-] | |
If you say 'provably', you should offer the proof. In Lean perhaps? But in English is also ok. | ||
| ▲ | pg83 4 hours ago | |
[flagged] | ||
| ▲ | eru an hour ago | parent [-] | |
If you say 'provably', you should offer the proof. In Lean perhaps? But in English is also ok. | ||