Skip to content

Commit 95061ac

Browse files
carlostomecarlostome
committed
Update src/Algebra/Morphism/Construct/DirectProduct.agda
1 parent 416f9a9 commit 95061ac

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)