Skip to content

Commit ce53e9d

Browse files
javierlcontrerasjavierlcontreras
committed
Reverts MathlibImportError
1 parent 5d18b68 commit ce53e9d

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

‎LeanCamCombi/Mathlib/Combinatorics/Additive/ApproximateSubgroup.lean‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
import Mathlib.Algebra.Order.BigOperators.Ring.Finset
22
import Mathlib.Combinatorics.Additive.ApproximateSubgroup
33
import Mathlib.Tactic.Bound
4-
import LeanCamCombi.ExtrProbCombi.BernoulliSeq
54

65
open scoped Finset Pointwise
76

0 commit comments

Comments
 (0)