Theorem QuaternionAlgebra.ofNat_imK

Modification history

2025-01-24 00:30

Mathlib/Algebra/Quaternion.lean

chore(Mathlib/Algebra/Quaternion): Generalize Quaternion Algebra (#20657)

Added QuaternionAlgebra.ofNat_imK View on Github →