search

metamath / set.mm

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

Rename syl5bbr to bitr3id #4011

Closed jkingdon closed 3 months ago

jkingdon commented 3 months ago

This is in set.mm and iset.mm

jkingdon commented 3 months ago

I did not find an upcoming merge conflict with previous pull requests.

Edit: as far as iset.mm, set.mm was concerned. But I did not notice the changes file.

I'll resolve the conflict in changes-set.txt and then merge this then.