Skip to content

Commit

Permalink
Update ConNF.lean
Browse files Browse the repository at this point in the history
Signed-off-by: zeramorphic <[email protected]>
  • Loading branch information
zeramorphic committed Aug 20, 2024
1 parent 734cb83 commit d4a6f0d
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions ConNF.lean
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,5 @@ import ConNF.Aux.Ordinal
import ConNF.Aux.Transfer
import ConNF.Aux.WellOrder
import ConNF.Setup.Params
import ConNF.Setup.Small
import ConNF.Setup.TypeIndex

0 comments on commit d4a6f0d

Please sign in to comment.