What does Reductionops.whd_nored do?
Nothing but the stack variant is used to extract the head of a KAM process
(it does remove the head casts and expand metas / evars though, so it's not exactly the identity)
Last updated: Nov 29 2023 at 05:01 UTC