michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(library/algebra): remove obsolete link.

Browse source
This commit is contained in:
Sebastian Reuße 2015-09-04 09:39:46 +02:00
parent 1fdbd681cc
commit f8a773be11
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
library/algebra/algebra.md
View file

@ -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)