ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R3993 on D266: Identity ring
Subresult of R1849: Binomial theorem

Binomial theorem in a commutative identity ring