mathlib3
9acd3496 - feat(order/closure): closure operator from galois connection (#5764)

Commit

5 years ago

feat(order/closure): closure operator from galois connection (#5764) Construct a closure operator from a galois connection

Author

b-mehta

Parents