search

metamath / set.mm

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

rename symbol NaryF to -aryF #4035

Closed icecream17 closed 3 months ago

icecream17 commented 4 months ago

this switches the order of the arguments so many theorems will have to be reproved

( X NaryF N ) => ( N -aryF X )

I marked it as good first issue but I'll probably do it soon after #4034 gets merged

edit: mobile github app has bugs

edit 2: working on it