typo #1945

Open

Milestone

opened

on Apr 23, 2026

analysis/theories/homotopy_theory/continuous_path.v

Line 119 in 28faf88

#[loca] Lemma fphi_one : reparameterize one = y.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

1.17.0

Relationships

None yet

Development

No branches or pull requests