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.