Correctness of proof that the commutative operation * on a binary structure is a structural property
108930
Show that an operation being commutative is a structural property
140190
Binary operation $xy$, has identity, but not associativity. Is the inverse unique?
13136
Element chasing proof that $(A\setminus C)\setminus(B\setminus C) = (A\setminus B)\setminus C$
135422
$\operatorname{Hom}(-,A) \cong \operatorname{Hom}(-,A') \Rightarrow A \cong A'$, proof verification
117546
Idempotent of closure and other properties
53101
Is it true that the relation |A| < |B| is a sufficient condition for claiming that $f$ is a bijection?
145388
Structural Induction: Metalogic Proof
60208
Proof of property of abelian group
14161
Proof of when is $A=X^TX$ invertible?
91947
Proof of $ f:I_n \rightarrow I_m \Rightarrow n = m$
148824
Is associative binary operator closed on this subset?
63146
Proof of properties of injective and surjective functions.
153128
Proof of associativity of convolution
52966
Rings, ideals and units-proof
5195
Structural Equality in F#
71902
How to define binary operation on arbitrary set in order to create a group structure.
134588
Seeking a direct proof about nested inclusions