Code

Prove tz7.48lem without ax-8#3199

Code

Closed

GinoGiotto wants to merge 3 commits intometamath:developmetamath/set.mm:developfrom GinoGiotto:tz7.48lemGinoGiotto/set.mm:tz7.48lemCopy head branch name to clipboard

+22-22

Commits

Commits on May 21, 2023

• edited proof of tz7.48lem

  GinoGiotto

  committed
  b98720e

• added credit

  GinoGiotto

  committed
  afa0c00

Commits on Aug 12, 2023

• removed 'revised by' comment

  GinoGiotto

  committed
  494f7ac