Commit 2026-01-27 22:28 7a85e474

View on Github →

chore(Analysis/InnerProductSpace/Orthogonal): add simp attrib, rename (#34103) add simp attrib to mem_orthogonal_iff and rename various lemmas to follow the naming convention

Estimated changes