mathlib3

88a59785 - doc(algebra/hierarchy_design): fix my name (#12674)