Is "discharging assumptions" a deliberate, separate act or do we simply close a subdeduction?

More John Corcoran's questions See All
Similar questions and discussions