search

math1um / objects-invariants-properties

Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
14 stars 6 forks source link

is_locally_two_connected is broken #593

Open yirkajk opened 6 years ago

yirkajk commented 6 years ago

My bad. 😶 Need to change f to is_two_connected