Theorem plift.up_down

Modification history