11:06duration 11 minutes 6 seconds
De Morgan's Law T63
A derivation of a theorem for the derived rule dm.