Theorem sbtw_iff_not_btw

Modification history

2023-01-19 07:45
Mathlib/Order/Circular.lean
chore: format `by` line breaks (#1523) …
Modified sbtw_iff_not_btwView on Github →
2023-01-12 06:33
Mathlib/Order/Circular.lean
feat: port Order.Circular (#1489)
Added sbtw_iff_not_btwView on Github →