Commit 2025-08-18 10:59 a5f36e12

View on Github →

chore(Analysis/InnerProductSpace/Adjoint): use dot notation (#28592) It was discovered when fixing timeouts in #28532 that this could even speed up things :)

Estimated changes

modified theorem IsSelfAdjoint.adjoint_eq
modified theorem LinearMap.adjoint_adjoint
modified theorem LinearMap.star_eq_adjoint