Add \Cref to proposition and sub-sub-section (#15)#1
Merged
pitmonticone merged 1 commit intopitmonticone:grid-structurefrom fpvandoorn:masterMay 13, 2024
+8-14
\Cref to proposition and sub-sub-section (#15)#1