OAI/Probability/SKRatio/Certificates/CertifiedMomentAssembly.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKRatio.Certificate.abs_sub_center line 11
2. lemma OAI.SKRatio.Certificate.mem_sd_center line 17
3. lemma OAI.SKRatio.Certificate.mem_F_of_center line 27