mathlib
234011d0 - chore(order/filter/lift): prove `has_basis.lift` and `has_basis.lift'` (#3618)

Commit

5 years ago

chore(order/filter/lift): prove `has_basis.lift` and `has_basis.lift'` (#3618)

Author

urkud

urkud

Parents

Loading