Corrections
where
fix
sec 5.1 page 4:
definition of cycle
add to the definition “and with no repeated edges”
ex. sheet 6 q. 9
“insertions are lazy, $O(1)$”
“insertions are lazy, $O(1)$ true cost”
Thanks to Katy Thackray