Skip to content

Inline DEFAULT_REALTYP_TO_COUNTERTYP mapping

f51aa51
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: Added possibility for shared numbering of theorems. #164

Inline DEFAULT_REALTYP_TO_COUNTERTYP mapping
f51aa51
Select commit
Loading
Failed to load commit list.