Theorem Bool.right_le_or

Modification history