mathlib3
09df85f6 - feat(order/rel_classes): any relation on an empty type is a well-order (#14600)

Commit

3 years ago

feat(order/rel_classes): any relation on an empty type is a well-order (#14600)

Author

vihdzp

vihdzp

Parents

Loading