Commit 2024-08-31 20:17 dae5d2d4

View on Github →

feat: add a simp lemma: Units.zero_not_mem_spectrum (#16339)

Estimated changes