search

metamath / set.mm

Metamath source file for logic and set theory
Other
246 stars 88 forks source link

Polynomial matrices form an associative algebra #4051

Closed avekens closed 3 months ago

avekens commented 3 months ago

~pmatassa added

Follow-up of #4046.