Hot answers tagged reference-request
Your constructions were very instructive. Are you, to put your first question differently, asking why it is mod gets the downvalues in all three case; especially when examples 2 and 3 clearly show that Pattern is the head? This may not help but the documentation of the symbol ":" says that s_h is equivalent to s: _h--the name s is given to the pattern with ...
Only top voted, non community-wiki answers of a minimum length are eligible