Theorem squeeze_zero

Modification history