3 ms·
It generalizes even further: If you need to prove B, and you know A implies B, all you need to prove is A.
by hgsgm 4y ago
It generalizes even further: If you need to prove B, and you know A implies B, all you need to prove is A.
loading thread…