mathlib3
5c882744 - feat(set_theory/zfc): ZFC sets are small types (#15320)

Commit

3 years ago

feat(set_theory/zfc): ZFC sets are small types (#15320)

Author

vihdzp

vihdzp

Parents

Loading