Pattern Matching and overloading NonCommutativeMultiply
115123
SetAttributes[f,Flat]: Why the order dependence?
113953
Circular permutations with indistinguishable objects
108742
Proving commutativity of addition for vector spaces
66092
Simultaneous diagonalization of commuting linear transformations
158135
How to generally match, unify and merge patterns?
66134
Sufficiently many idempotents and commutativity
53056
natural deduction: introduction of universal quantifier and elimination of existential quantifier explained
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.
95806
Proving commutativity of convolution $(f \ast g)(x) = (g \ast f)(x)$
88013
injective linear transformation basis.
5426
Preserving signatures of decorated functions
3217
Construction of uncountably many non-isomorphic linear (total) orderings of natural numbers
43503
Bases of complex vector spaces and the axiom of choice
24139
Logical explanation why exponentiation operation is not commutative and associative
72077
''Linear'' transformations between vector spaces over different fields .
21254
Formal language: Proving the reverse operation on a word through induction
75944
Overlapping pure functions