Open Mttbnchtt opened 2 years ago
Revise proof to show that producing BC to BD is a hypotheses of the proof.
Revise proof to show that producing BC to BD is a hypotheses of the proof.