Theorem Bool.and_le_left

Modification history