Commit 2022-11-21 16:33 99e8971d
View on Github →refactor(combinatorics/simple_graph/connectivity): fix simp lemmas for to_delete_edges
, use dot notation for transfer
lemmas (#17644)
The definition of to_delete_edges
was recently changed when transfer
was introduced, and this inadvertently changed how the simp lemmas for to_delete_edges
were defined syntactically. This change keeps the simp lemmas from switching to_delete_edges
to transfer
. This commit also switches is_path
and is_cycle
constructors for transfer
use dot notation.