mathlib3
f128d4be - feat(order/rel_iso/basic): add `rel_covering`, defs only

Commit

3 years ago

feat(order/rel_iso/basic): add `rel_covering`, defs only

References

#18128 - feat(order/rel_iso/basic): add `rel_covering`, golf

#18418 - feat(order/rel_iso/basic): add `rel_covering`, main defs only

Author

astrainfinita

astrainfinita

Parents

Loading