P
Initializing...
Lifted formal logarithm agrees with its finite sum below the cutoff · Prove2Me