🗄️
math-debrief
More
Search
Ctrl + K
Conjunction introduction
and-introduction
and-elimination (conjunction elimination, simplification)
Previous
Conjunction elimination
Next
Cut rule
Last updated
3 years ago