mathlib3
77dfac2e - feat(order/filter/bases): basis of infimum of filters (#11855)

Commit

3 years ago

feat(order/filter/bases): basis of infimum of filters (#11855)

Author

ADedecker

ADedecker

Parents

Loading