Theorem Projectivization.mulHeight_mk

Modification history

2026-02-18 07:51
Mathlib/NumberTheory/Height/Projectivization.lean
feat(NumberTheory/Height/Projectivization): new file (#34780) …
Added Projectivization.mulHeight_mkView on Github →