Use the unused substitution example and set aside three duplicates - #102

Use the unused substitution example and set aside three duplicates#102

d-morrison merged 1 commit into

mainMorrison-Lab/mcs:mainfrom

claude/project-thread-aj2ep4-unused-proof-subfilesMorrison-Lab/mcs:claude/project-thread-aj2ep4-unused-proof-subfilesCopy head branch name to clipboard