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.