Commit graph

1 commit

Author SHA1 Message Date
ae7a82c2f3 add explicit subproof environment
Build branch v2.4.4 (f4d0797) from kesslermaximilian/LatexPackages
2022-01-09 14:45:23 +00:00