fill(GLzero): prove has_finite_level for GLn.ofComplex#77

sorry-nofun wants to merge 2 commits into

polyproof:mainpolyproof/FLT:mainfrom

sorry-nofun:fill-has-finite-levelsorry-nofun/FLT:fill-has-finite-levelCopy head branch name to clipboard