P
Initializing...
The square system `N = C T D` is `I + E` with `E` the map of Lemma 4.11 (`N_eq`) · Prove2Me