Mathlib v3 is deprecated. Go to Mathlib v4

Def quaternion_group.quaternion_group_zero_equiv_dihedral_group_zero

Modification history