| Mon, 20 Sep 2021 13:52:09 +0200 | wenzelm | tuned proofs --- eliminated 'guess'; | changeset | files |
| Mon, 20 Sep 2021 13:51:32 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 20 Sep 2021 11:35:27 +0200 | wenzelm | clarified antiquotations; | changeset | files |