diff --git a/library/algebra/algebra.md b/library/algebra/algebra.md
index 7196470a8..cd1edd73b 100644
--- a/library/algebra/algebra.md
+++ b/library/algebra/algebra.md
@@ -4,7 +4,6 @@ algebra
 Algebraic structures.
 
 * [prio](prio.lean) : priority for algebraic operations
-* [function](function.lean)
 * [relation](relation.lean)
 * [binary](binary.lean) : binary operations
 * [order](order.lean)