Theorem Shrink.ext

Modification history