P
Initializing...
Substitution fixing the distinguished variable preserves lifted series · Prove2Me