Some more documentation for coherent sheaves #17632

Job	Run time
doctest (1.10, ubuntu-latest)	29m 55s
doctest (1.11-nightly, ubuntu-latest)	29m 22s
test (1.6, short, ubuntu-latest)	1h 27m 37s
doctest (nightly, ubuntu-latest)	32m 15s
doctest (1.10, ubuntu-latest, depwarn=error)	30m 43s
test (1.6, long, ubuntu-latest)	58m 9s
doctest (1.10, macOS, RPTU)	14m 45s
test (1.10, short, ubuntu-latest)	1h 12m 19s
test (1.10, long, ubuntu-latest)	44m 45s
test (1.11-nightly, short, ubuntu-latest)	1h 23m 42s
test (1.11-nightly, long, ubuntu-latest)	7m 40s
test (nightly, short, ubuntu-latest)	1h 24m 13s
test (nightly, long, ubuntu-latest)	56m 41s
test (1.10, short, ubuntu-latest, depwarn=error)	1h 10m 18s
test (1.10, long, ubuntu-latest, depwarn=error)	45m 35s
test (1.10, short, macOS, RPTU)	15m 24s
test (1.10, long, macOS, RPTU)	13m 2s
test (1.10, book, ubuntu-latest)	49m 9s
test (nightly, book, ubuntu-latest)	1h 1m 19s
	14h 46m 53s

Provide feedback