fix: up-to-date link of managing-type-class-inference in C07S02#387

blindFS wants to merge 1 commit intoavigad:masteravigad/mathematics_in_lean_source:masterfrom

blindFS:masterblindFS/mathematics_in_lean_source:masterCopy head branch name to clipboard