Commit 2025-01-28 10:27 20c785e9
View on Github →chore: use ‖x‖ₑ
instead of ↑‖x‖₊
(#20806)
Rename lemmas from _nnnorm_
/_ennnorm_
to _enorm_
where applicable. Rewrite/golf proofs where necessary.
chore: use ‖x‖ₑ
instead of ↑‖x‖₊
(#20806)
Rename lemmas from _nnnorm_
/_ennnorm_
to _enorm_
where applicable. Rewrite/golf proofs where necessary.