feat: add iff theorem for List.toArray equality#13840

raphael-solace wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

raphael-solace:rc/list-toarray-iffraphael-solace/lean4:rc/list-toarray-iffCopy head branch name to clipboard