Theorem OnePoint.map_smul

Modification history

2025-09-03 18:14

Mathlib/Topology/Compactification/OnePoint/ProjectiveLine.lean

feat(Compactification/OnePoint): classify GL2 elements by fixed points (#28552) …

Added OnePoint.map_smul View on Github →