Documentation
PiBaseLean
.
Properties
.
P43
.
Lemmas
Search
return to top
source
Imports
Init
PiBaseLean.Properties.P38.Lemmas
PiBaseLean.Properties.P43.Defs
Imported by
PiBase
.
WellDefined
.
locallyInjPathConnectedSpace
source
theorem
PiBase
.
WellDefined
.
locallyInjPathConnectedSpace
:
WellDefined
LocallyInjPathConnectedSpace