remove redundant hypothesis - SemanticDiff

Commit

3 years ago

remove redundant hypothesis

References

#18702 - refactor(order/rel_classes): remove redundant hypothesis from `is_well_order`

Author

vihdzp

vihdzp

Parents

Loading