sage

a1011d30 - src/sage/topology: Remove chomp interface deprecated in #33777 (2022)