massive update for Mogan Research 1.2.5

This commit is contained in:
Darcy Shen 2024-02-24 11:38:26 +08:00
parent 64a5d8b40d
commit 73005e7d0a
49 changed files with 3265 additions and 2793 deletions

View file

@ -1,4 +1,4 @@
<TeXmacs|2.1.3>
<TeXmacs|2.1.2>
<style|<tuple|projector|reddish|framed-theorems|number-long-article|invisible-multiply>>