In constructive settings, false antecedents must be actively demonstrated constructible, not merely ...
This proposition has not been edited since the history system was added.