Backport "Check user defined PolyFunction refinements " to LTS#20700
Merged
WojciechMazur merged 2 commits intolts-3.3from Jun 20, 2024
Merged
Backport "Check user defined PolyFunction refinements " to LTS#20700WojciechMazur merged 2 commits intolts-3.3from
WojciechMazur merged 2 commits intolts-3.3from
Commits
Commits on Jun 20, 2024
- committed