Theorem by_contra

Modification history