Theorem Bool.of_decide_iff

Modification history