Commit 2025-12-02 09:39 b5631451

View on Github →

doc(RingTheory/Perfectoid): fix documentations of B_dR (#32343) Changed \(...\) to $...$.

Estimated changes