🗄️
math-debrief
More
Search
Ctrl + K
Disjunction elimination
Previous
Cut rule
Next
Disjunction introduction
Last updated
3 years ago