Code

misc + iota axiom saves#4492

Code

Merged

benjub merged 8 commits intometamath:developmetamath/set.mm:developfrom icecream17:developicecream17/set.mm:developCopy head branch name to clipboardDec 29, 2024

+278-174

Commits

Commits on Dec 29, 2024

• update sn-el and sn-dtru to use ax-pr

  Show description for 1e3ef35
  icecream17

  committed
  1e3ef35

• Replace ss2rab with ss2rabi and ss2rabdv

  Show description for 5a15465
  icecream17

  committed
  5a15465

• shorten cnvsym, relssdmrn, tz6.12-1*; restore dfopifOLD

  Show description for 2556769
  icecream17

  committed
  2556769

• move iota axioms saves to main (rebased)

  Show description for a1407fc
  icecream17

  committed
  a1407fc

• add axiom file

  icecream17

  committed
  06107ee

• axiom diff (rebased, updated)

  icecream17

  committed
  39059d6

• rmv axiom file

  icecream17

  committed
  a9ba798

• implement suggestions

  icecream17

  committed
  4a59448