feat: a * b⁻¹ for a b : Aˣ is unitary if star a * a = star b * b (#24858)
a * b⁻¹
a b : Aˣ
star a * a = star b * b