mathlib

95187a63 - Move `char_zero.of_algebra` to appropriate file