Commit 2025-04-15 06:53 05e06d9e

View on Github →

chore(PellMatiyasevic): remove duplicate lemma (#24068)

Estimated changes

deleted theorem Pell.n_lt_a_pow