[Merged by Bors] - chore(RingTheory/Smooth/StandardSmoothCotangent): fix typo in instance name#39704

justus-springer wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

justus-springer:justus/IsStandardSmoothOfRelativeDimension_typojustus-springer/mathlib4:justus/IsStandardSmoothOfRelativeDimension_typoCopy head branch name to clipboard