Displaying similar documents to “An average formula for the class number”