Code

Regularity & Epsilon induction.#1

Code

Open

georgydunaev wants to merge 7 commits intorocq-archive:masterrocq-archive/zfc:masterfrom georgydunaev:mastergeorgydunaev/zfc:masterCopy head branch name to clipboard

+263

Commits

Commits on Oct 20, 2018

• Add 'subclass of set is a set'

  georgydunaev

  committed
  c37f672

Commits on Oct 22, 2018

• Add transfinite induction

  georgydunaev

  committed
  64b0671

Commits on Oct 28, 2018

• Add theorems about regularity.

  georgydunaev

  committed
  c9d5dea

• Delete useless file.

  georgydunaev

  committed
  289a314

• Delete comment

  georgydunaev

  committed
  73af604

• Add several theorems and axExt

  georgydunaev

  committed
  6f9baae

Commits on Nov 2, 2018

• reduce gitignore

  georgydunaev

  committed
  17915cf