Theorem ZNum.cast_pos

Modification history