P
Initializing...
Error propagation through an approximate linear map (Lemma 2.7) · Prove2Me