P
Initializing...
Error of a composition of approximate linear maps (Corollary 2.8) · Prove2Me