Commit 2025-09-27 11:35 ca95f363

View on Github →

chore(RingTheory/HahnSeries): golf C_ne_zero (#28846)

Estimated changes

modified theorem HahnSeries.C_ne_zero