Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Profinite.coe_id

Modification history

2021-04-30 05:44
src/topology/category/Profinite.lean
chore(topology/category): some lemmas for Profinite functions (#7414) …
Added Profinite.coe_idView on Github →