v1.6.5 - 2024-11-26-01:50

github-actions released this 26 Nov 01:50

· 24 commits to master since this release

7dd472d

Elaborate Remark 10.3.3

Add further explanations to Remark 10.3.3 #12

Assets 4