Theorem ZNum.cast_bitm1

Modification history