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