Tue, 05 Mar 2013 15:43:13 +0100 | hoelzl | generalized isGlb_unique | changeset | files |
Tue, 05 Mar 2013 15:43:12 +0100 | hoelzl | complete_linorder is also a complete_distrib_lattice | changeset | files |
Tue, 05 Mar 2013 15:43:08 +0100 | hoelzl | move Liminf / Limsup lemmas on complete_lattices to its own file | changeset | files |