P

Initializing...

Subadditivity of the positive index: $n_+(Q_1 + Q_2) \le n_+(Q_1) + n_+(Q_2)$ · Prove2Me