Fix typo: Missing closing `|` for absolute value#1182

Merged

mikeshulman merged 3 commits intoHoTT:masterfrom

Jul 2, 2025

Commits on Jul 1, 2025

Fix typo: Closing | missing
Quirin Schroll
committed
Errata for 2c2d15123c917c33d7ea21c14ca08f86f8d93b55
Quirin Schroll
committed

Commits on Jul 2, 2025

Merge branch 'master' into patch-2
mikeshulman
authored