Code

More renames of syl5bb to bitrid#4464

Code

Merged

jkingdon merged 1 commit intometamath:developmetamath/set.mm:developfrom jkingdon:bitrid-2jkingdon/set.mm:bitrid-2Copy head branch name to clipboardDec 3, 2024

+155-155

Commits

Commits on Dec 3, 2024

• More renames of syl5bb to bitrid

  Show description for 159d869
  jkingdon

  committed
  159d869