Skip to content

Commit

Permalink
import
Browse files Browse the repository at this point in the history
  • Loading branch information
@aljungstrom
aljungstrom committed Nov 15, 2024
1 parent 55c9b24 commit 47987e7
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Cubical/Homotopy/WhiteheadProducts/Generalised/Properties.agda
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,6 @@ open import Cubical.HITs.SmashProduct
open import Cubical.Homotopy.Group.Base
open import Cubical.Homotopy.Loopspace
open import Cubical.Homotopy.Group.Join
open import Cubical.Tactics.MonoidSolver.WildSolver


open import Cubical.Homotopy.WhiteheadProducts.Generalised.Base
Expand Down

0 comments on commit 47987e7

Please sign in to comment.