Skip to content

feat: a norm_num extension for complex numbers#26975

Open
Whysoserioushah wants to merge 62 commits into
leanprover-community:masterfrom
Whysoserioushah:edison/norm_numI
Open

feat: a norm_num extension for complex numbers#26975
Whysoserioushah wants to merge 62 commits into
leanprover-community:masterfrom
Whysoserioushah:edison/norm_numI

Commits

Commits on Jul 10, 2025

Commits on Jul 11, 2025

Commits on Jul 12, 2025

Commits on Jul 17, 2025

Commits on Aug 18, 2025

Commits on Nov 5, 2025

Commits on Nov 12, 2025

Commits on Nov 14, 2025

Commits on Nov 18, 2025

Commits on Nov 21, 2025

Commits on Nov 24, 2025

Commits on Jan 29, 2026

Commits on Feb 5, 2026

Commits on Feb 28, 2026

Commits on Mar 1, 2026

Commits on Mar 2, 2026

Commits on Mar 3, 2026

Commits on Mar 4, 2026

Commits on Apr 30, 2026

Commits on May 20, 2026