Commit 2023-08-10 10:11 e18a95e7

View on Github →

doc: change variable names in AtPrime.lean (#6242) This commit changes the names of the prime ideal to I to match the docstrings. It also fixes an instance of Localization.AtPrime taking too many arguments in a docstring.

Estimated changes