refactor: getUnfoldableConst*?
#6142
copyright-header.yml
on: pull_request
check-lean-files
21s
getUnfoldableConst*?
#6142