Theorem Bool.forall_bool'

Modification history