Skip to content

made R implicit when it can

8a617a1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

doc(RingTheory/DividedPowerAlgebra/Init): adjust documentation and implicit variables #37345

made R implicit when it can
8a617a1
Select commit
Loading
Failed to load commit list.