Isotopy invariance of algebraic intersection number (source code)

= Isotopy invariance of algebraic intersection number

During a generic isotopy of one transverse curve, crossings with a fixed curve can only be created or removed in pairs of opposite local sign. Their signed sum, and hence the algebraic intersection number, is therefore invariant.