Rat

📁 Source: Mathlib/Topology/Algebra/Algebra/Rat.lean

Statistics

Metric	Count
Definitions	0
Theorems continuousConstSMul_rat	1
Total	1

DivisionRing

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
continuousConstSMul_rat 📖	mathematical	—	ContinuousConstSMul Algebra.toSMul Rat.commSemiring DivisionSemiring.toSemiring toDivisionSemiring toRatAlgebra	—	Algebra.smul_def Continuous.mul continuous_const continuous_id

---

← Back to Index