Commit 2024-05-01 23:24 2f50e348
View on Github →chore: Rename Dart.is_adj to Dart.adj (#12574)
The is doesn't bring any information and is_adj really looks like a Lean 3-ism (even though it technically follows the Lean 4 naming convention).