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