Code

prove cnplimc in iset.mm#3638

Code

Merged

jkingdon merged 4 commits intometamath:developmetamath/set.mm:developfrom jkingdon:limccnp2cntop-shortenjkingdon/set.mm:limccnp2cntop-shortenCopy head branch name to clipboardNov 20, 2023

+130-53

Commits

Commits on Nov 18, 2023

• Shorten proof of limccnp2cntop in iset.mm

  Show description for 099623a
  jkingdon

  committed
  099623a

  Copy full SHA for 099623a

• Add cnplimccntop to iset.mm

  Show description for de8fab8
  jkingdon

  committed
  de8fab8

  Copy full SHA for de8fab8

• Add cnlimc to iset.mm

  Show description for fbc8a5e
  jkingdon

  committed
  fbc8a5e

  Copy full SHA for fbc8a5e

• Update mmil.html

  Show description for 4b2fb0a
  jkingdon

  committed
  4b2fb0a

  Copy full SHA for 4b2fb0a