[#1] Fixed up unused imports, docs, and tests.

This commit is contained in:
2025-03-10 13:04:37 -04:00
parent 273a7c1699
commit 59b1e2eea1
9 changed files with 8 additions and 33 deletions

View File

@ -7,7 +7,7 @@ pub trait One: Sized + Mul<Self, Output=Self>
///
/// # Laws
///
/// ```{.text}
/// ```text
/// a * 1 = a ∀ a ∈ Self
/// 1 * a = a ∀ a ∈ Self
/// ```