Theorem Bool.forall_bool

Modification history