Theorem small_type

Modification history