Theorem Bool.decide_congr

Modification history