Theorem Bool.left_le_or

Modification history