P
Initializing...
Remark 2 / Eq.(27): input independence at full rank · Prove2Me