Theorem not_small_type

Modification history