mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(SetTheory/ZFC/Ordinal): von Neumann hierarchy of sets

Open vihdzp opened this issue 1 year ago • 2 comments

  • [x] depends on: #16996
  • [ ] depends on: #17016
  • [x] depends on: #17026
  • [ ] depends on: #18239

Open in Gitpod

vihdzp avatar Sep 22 '24 10:09 vihdzp