Theorem zero_tsub

Modification history