Theorem Bool.and_intro

Modification history