Theorem Bool.range_eq

Modification history