perf: try fixing the Subtype.weaken proof#674

chenson2018 wants to merge 1 commit into

mainleanprover/cslib:mainfrom

chenson2018/more-perfleanprover/cslib:chenson2018/more-perfCopy head branch name to clipboard