Theorem small_lift

Modification history