fix: Resolving name clashing issue with size_push theorem and syntax error#91

seanmcl merged 1 commit into

leanprover:mainleanprover/TensorLib:mainfrom

segevem:fix-name-clashsegevem/TensorLib:fix-name-clashCopy head branch name to clipboard