Code

Moving theorems to the main#4564

Code

Open

mazsa wants to merge 5 commits intometamath:developmetamath/set.mm:developfrom mazsa:mazsa-tempsmazsa/set.mm:mazsa-tempsCopy head branch name to clipboard

+51-115

Commits

Commits on Jan 12, 2025

• disjcsn/bnj521 to main

  mazsa

  committed
  4493138

  Copy full SHA for 4493138

• undif5 to main

  mazsa

  committed
  6774571

  Copy full SHA for 6774571

• ceqsrexv2 ceqsralv2 to main

  mazsa

  committed
  f2d0fc0

  Copy full SHA for f2d0fc0

• deleted ceqsrexv2; ceqsralv2 -> ceqsralbv

  mazsa

  committed
  8a8e0be

  Copy full SHA for 8a8e0be

• Minor

  Show description for 566ecee
  mazsa

  committed
  566ecee

  Copy full SHA for 566ecee