doc(init/algebra/classes): add a brief docstring (#568)
doc(init/algebra/classes): add a brief docstring (#568)





leanprover-community/lean,leanprover-community/lean,digama0/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,digama0/lean,leanprover-community/lean,digama0/lean,digama0/lean,digama0/lean,digama0/lean