P
Initializing...
Proposition 1.34 (unique lifting): two lifts agreeing at one point agree everywhere · Prove2Me