fix: disambiguate Proposition 9.3.14 Verso labels - #624

fix: disambiguate Proposition 9.3.14 Verso labels#624

Chessing234 wants to merge 1 commit into

teorth:mainteorth/analysis:mainfrom

Chessing234:fix/prop-9-3-14-verso-labelsChessing234/analysis:fix/prop-9-3-14-verso-labelsCopy head branch name to clipboard