Theorem infᵢ_plift_up

Modification history