Commit 2025-01-06 22:50 2f1f7b9c

View on Github →

feat: add @[simp] lemma Prod.norm_mk (#20411)

Estimated changes