Wed, 13 Dec 2017 13:25:14 +0100 | nipkow | added min_list and arg_min_list | changeset | files |
Wed, 13 Dec 2017 11:44:11 +0100 | nipkow | made arg_min_on definition | changeset | files |
Wed, 13 Dec 2017 09:04:43 +0100 | nipkow | added lemmas | changeset | files |