New answers tagged


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 ...

Top 50 recent answers are included