Theorem PLift.bind_up

Modification history