refactoring and correction in examples/cat.v#587

t6s wants to merge 2 commits into

math-comp:mastermath-comp/hierarchy-builder:masterfrom

t6s:cat20260401t6s/hierarchy-builder:cat20260401Copy head branch name to clipboard