Skip to content

Commit 38c20f8

Browse files
carlostomecarlostome
authored
Update src/Algebra/Morphism/Construct/DirectProduct.agda
1 parent 669ccc7 commit 38c20f8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎src/Algebra/Morphism/Construct/DirectProduct.agda

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
------------------------------------------------------------------------
22
-- The Agda standard library
33
--
4-
-- The projection morphisms for alegraic structures arising from the
4+
-- The projection morphisms for algebraic structures arising from the
55
-- direct product construction
66
------------------------------------------------------------------------
77

0 commit comments

Comments
 (0)