Commit 2024-09-05 01:57 fa8cab99

View on Github →

docs(CompHausLike): add more detailed documentation (#16473)

Estimated changes

Modified Mathlib/Topology/Category/CompHaus/Basic.lean

Modified Mathlib/Topology/Category/CompHausLike/Basic.lean

Modified Mathlib/Topology/Category/LightProfinite/Basic.lean

Modified Mathlib/Topology/Category/Profinite/Basic.lean

Modified Mathlib/Topology/Category/Stonean/Basic.lean