Thu, 11 Mar 2021 10:25:04 +0100 | traytel | another example for lift_bnf for quotients | changeset | files |
Wed, 10 Mar 2021 21:55:28 +0100 | wenzelm | merged | changeset | files |
Wed, 10 Mar 2021 20:09:26 +0100 | wenzelm | proper \usepackage[T1]{fontenc}; | changeset | files |