documentation:release:4.12:fulton:cyclicquotient