P

Initializing...

Self-concordance is stable under affine additions · Prove2Me