docs(lean,#15368): Conway docstrings name the two proven labelings, not a mirror family - #15380

docs(lean,#15368): Conway docstrings name the two proven labelings, not a mirror family#15380

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

fix/15368-conway-docstring-driftjsboige/CoursIA:fix/15368-conway-docstring-driftCopy head branch name to clipboard