Import Fox–Lovász arithmetic triangle removal in vector spaces - #779

Import Fox–Lovász arithmetic triangle removal in vector spaces#779

Vilin97 merged 1 commit into

LeanPool:mainLeanPool/lean-pool:mainfrom

gdahia:gdahia/import-arithmetic-triangle-removalgdahia/lean-pool:gdahia/import-arithmetic-triangle-removalCopy head branch name to clipboard