mathlib3
8f66c29c - feat(set_theory/zfc/basic): range of indexed family of sets (#18296)

Commit

2 years ago

feat(set_theory/zfc/basic): range of indexed family of sets (#18296)

Author

vihdzp

vihdzp

Parents

Loading