Theorem USize.size_positive

Modification history