Skip to content

Commit c94d9b5

Browse files
jamesmckinnajamesmckinna
committed
fix: typo
1 parent 46d8280 commit c94d9b5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎src/Algebra/Construct/Centre/Group.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-
-- Definition of the centre of an Algebra
4+
-- Definition of the centre of a Group
55
------------------------------------------------------------------------
66

77
{-# OPTIONS --safe --cubical-compatible #-}

0 commit comments

Comments
 (0)