mathlib3

ab73c7bd - moved class number to class_number.lean