Skip to content

Commit

Permalink
Rename syl5bi to biimtrid (part 6) (metamath#4556)
Browse files Browse the repository at this point in the history 
This completes the rename in set.mm.
  • Loading branch information
@jkingdon
jkingdon authored Jan 11, 2025
1 parent fd2693e commit e1c1548
Showing 1 changed file with 2,486 additions and 2,495 deletions.
Loading

0 comments on commit e1c1548

Please sign in to comment.