Commit 2025-03-17 00:33 8fa3d859
View on Github →chore: use ⦃⦄ binders in Subgraph.IsInduced (#22872)
This makes the predicate more usable.
From LeanCamCombi
chore: use ⦃⦄ binders in Subgraph.IsInduced (#22872)
This makes the predicate more usable.
From LeanCamCombi