Skip to content

Commit

Permalink
pre-commit
Browse files Browse the repository at this point in the history
  • Loading branch information
@fredrik-bakke
fredrik-bakke committed Jan 7, 2025
1 parent 9ac3d57 commit 1abc3ed
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/foundation.lagda.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,6 @@ open import foundation.arithmetic-law-coproduct-and-sigma-decompositions public
open import foundation.arithmetic-law-product-and-pi-decompositions public
open import foundation.automorphisms public
open import foundation.axiom-of-choice public
open import foundation.diaconescus-theorem public
open import foundation.bands public
open import foundation.base-changes-span-diagrams public
open import foundation.bicomposition-functions public
Expand Down Expand Up @@ -130,6 +129,7 @@ open import foundation.descent-coproduct-types public
open import foundation.descent-dependent-pair-types public
open import foundation.descent-empty-types public
open import foundation.descent-equivalences public
open import foundation.diaconescus-theorem public
open import foundation.diagonal-maps-cartesian-products-of-types public
open import foundation.diagonal-maps-of-types public
open import foundation.diagonal-span-diagrams public
Expand Down

0 comments on commit 1abc3ed

Please sign in to comment.