| Wed, 17 Nov 2021 12:28:07 +0100 | wenzelm | tuned (see also e0d1d9203275); | changeset | files |
| Wed, 17 Nov 2021 12:10:48 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 17 Nov 2021 11:57:34 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 16 Nov 2021 22:38:34 +0100 | wenzelm | spelling; | changeset | files |
| Thu, 25 Nov 2021 14:02:51 +0100 | desharna | added asymp_{less,greater} to preorder and moved mult1_lessE out | changeset | files |
| Thu, 25 Nov 2021 12:19:50 +0100 | desharna | renamed multp_code_iff and multeqp_code_iff | changeset | files |
| Thu, 25 Nov 2021 12:13:49 +0100 | desharna | simplified mult_cancel_max and introduced orginal lemma as mult_cancel_max0 | changeset | files |