Commit 2023-08-11 09:19 a216784e

View on Github →

chore: restore Type* in SpecificLimits/IsROrC.lean (#6515) This was accidentally changed in #6506.

Estimated changes