Theorem Classical.cases_true_false

Modification history