Theorem DiscreteQuotient.LEComap.comp

Modification history

2023-04-17 12:04

Mathlib/Topology/DiscreteQuotient.lean

chore: fix names in DiscreteQuotient (#3481)

Added DiscreteQuotient.LEComap.comp View on Github →