mathlib
df50b88a - feat(order/filter/bases): basis for directed (b)infi of filters (#14775)

Commit

3 years ago

feat(order/filter/bases): basis for directed (b)infi of filters (#14775)

Author

ADedecker

ADedecker

Parents

Loading