Theorem small.mk'

Modification history