Theorem ZNum.cast_sub

Modification history