Discussion between harshatech2012 and lemontree
Imported from a comment discussion on https://math.stackexchange.com/questions/3833069/deduction-theorem-interpretation/3833324#3833324
| first message | 2020-09-20 |
| last message | 1602 days ago |
view transcript
2