Theorem if_true

Modification history