OAI/Combinatorics/TreeEdit/PrimeSupply.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TreeEdit.PrimeSupply.primeCounting_le line 14
2. lemma OAI.TreeEdit.PrimeSupply.eventually_pi_power line 21
3. def OAI.TreeEdit.PrimeSupply.band line 67
4. lemma OAI.TreeEdit.PrimeSupply.eventually_band_card line 69
5. lemma OAI.TreeEdit.PrimeSupply.mem_band line 81