mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore(topology/*): Fix lint

Open YaelDillies opened this issue 3 years ago • 0 comments

Fix the linting errors coming from fintype_finite, to_additive_doc and doc_blame.

Open in Gitpod

YaelDillies avatar Aug 12 '22 14:08 YaelDillies