Index alias declarations and resolve them as Lean does - #308

Index alias declarations and resolve them as Lean does#308

Deicyde merged 3 commits into

mainfacebookresearch/autoform-bot:mainfrom

feat/index-alias-declarationsfacebookresearch/autoform-bot:feat/index-alias-declarationsCopy head branch name to clipboard