The header cost is absorbed by 8·10^12 times the Lemma 13 bracket. -/ theorem cHd_le_bnd (Kc : ℝ) {K f n r…

Initializing...

The header cost is absorbed by 8·10^12 times the Lemma 13 bracket. -/ theorem cHd_le_bnd (Kc : ℝ) {K f n r… · Prove2Me