Theorem by_contradiction

Modification history