search

metamath / set.mm

Metamath source file for logic and set theory
Creative Commons Zero v1.0 Universal
238 stars 87 forks source link

move section "Associative algebras" #4046

Closed icecream17 closed 1 month ago

icecream17 commented 1 month ago

according to https://github.com/metamath/set.mm/issues/3995#issuecomment-2132293211

fixes https://github.com/metamath/set.mm/issues/3995 (part 2)