Theorem Bool.decide_True

Modification history