The length of `R/(π, f)` for a concrete surface `R` equals the length of the special fibre modulo the image of `f`.

Initializing...

The length of `R/(π, f)` for a concrete surface `R` equals the length of the special fibre modulo the image of `f`. · Prove2Me