Commit 2025-03-20 16:17 b2814bdb
View on Github →feat(Combinatorics/SimpleGraph): add DecidableRel instance for induced subgraph adjacency (#22080) add DecidableRel instance for induced subgraph adjacency.
feat(Combinatorics/SimpleGraph): add DecidableRel instance for induced subgraph adjacency (#22080) add DecidableRel instance for induced subgraph adjacency.