P
Initializing...
Complete finite linear synthesis of optimal positive affine normalizers · Prove2Me