Theorem pi0_lift_unique'

Modification history