20:45duration 20 minutes 45 seconds
Conditional-IndirectProofs
This video provides an introduction to subproofs:…