Skip to content

Commit d65b49e

Browse files
vihdzpvihdzp
committed
order imports
1 parent 44e2cb5 commit d65b49e

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

  • Mathlib/SetTheory/Cardinal/Cofinality

‎Mathlib/SetTheory/Cardinal/Cofinality/Club.lean‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,8 @@ Authors: Violeta Hernández Palacios
55
-/
66
module
77

8-
public import Mathlib.SetTheory.Cardinal.Cofinality.Basic
98
public import Mathlib.Order.DirSupClosed
9+
public import Mathlib.SetTheory.Cardinal.Cofinality.Basic
1010

1111
/-!
1212
# Club sets

0 commit comments

Comments
 (0)