Theorem Bool.le_true

Modification history