Wed, 11 Nov 2015 09:48:24 +0100 | Andreas Lochbihler | add various lemmas | changeset | files |
Wed, 11 Nov 2015 09:21:56 +0100 | Andreas Lochbihler | cancel complementary terms as arguments to sup/inf in boolean algebras | changeset | files |
Wed, 11 Nov 2015 09:06:30 +0100 | Andreas Lochbihler | add lemmas about monoids and groups | changeset | files |