`is_deriveX`: is that a generalization?#1637

affeldt-aist merged 4 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:derive_20250605affeldt-aist/analysis:derive_20250605Copy head branch name to clipboard