Lemma 13 in IL (the corrected statement of KFH_WIP.lem13_iruns, see KFL_WIP): records of R Gaussian…

Initializing...

Lemma 13 in IL (the corrected statement of KFH_WIP.lem13_iruns, see KFL_WIP): records of R Gaussian… · Prove2Me