Commit 2026-03-02 18:03 796f22e3
View on Github →doc: capitalize the proper name Kan (#35321) We capitalize the surname of Daniel Kan. This makes our spelling consistent with the one used by nLab and Wikipedia:
doc: capitalize the proper name Kan (#35321) We capitalize the surname of Daniel Kan. This makes our spelling consistent with the one used by nLab and Wikipedia: