From f8a773be1112015e2d232661ce616d23f12874d0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebastian=20Reu=C3=9Fe?= Date: Fri, 4 Sep 2015 09:39:46 +0200 Subject: [PATCH] chore(library/algebra): remove obsolete link. --- library/algebra/algebra.md | 1 - 1 file changed, 1 deletion(-) 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)