P
Initializing...
Theorem 11.5 -- gs_iff_mnatural_concave · Prove2Me