mathlib3
d3051b17 - feat(order/initial_seg): remove `nolint` from `initial_seg` (#15374)

Commit

3 years ago

feat(order/initial_seg): remove `nolint` from `initial_seg` (#15374)

Author

vihdzp

vihdzp

Parents

Loading