FLT/Mathlib/Topology/MetricSpace/ProperSpace/InfinitePlace.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Infinite Place

Material destined for Mathlib.

Imports (2)
Imported by 4 files
  1. instance (instance at line 27) line 27 source
  2. instance (instance at line 30) line 30 source