OAI/Geometry/TranslativeCovering/ActivityBins.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.ActivityBins.countline 61 - lemma
OAI.ActivityBins.exists_binline 63
OAI/Geometry/TranslativeCovering/ActivityBins.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.ActivityBins.count line 61OAI.ActivityBins.exists_bin line 63