Skip to content

do not apply large_notation to 0: https://github.com/metanorma/isodo… #1327

do not apply large_notation to 0: https://github.com/metanorma/isodo…

do not apply large_notation to 0: https://github.com/metanorma/isodo… #1327