Theorem Profinite.NobelingProof.Products.eval_mem_span_goodProducts

Modification history

2024-02-11 00:33
Mathlib/Topology/Category/Profinite/Nobeling.lean
fix(Profinite/Nobeling): remove duplicated proof (#10410)
Deleted Profinite.NobelingProof.Products.eval_mem_span_goodProductsView on Github →
2023-11-01 10:38
Mathlib/Topology/Category/Profinite/Nobeling.lean
feat: Nobeling's theorem (#6286) …
Added Profinite.NobelingProof.Products.eval_mem_span_goodProductsView on Github →