mathlib
f81b141b - fix(analysis/specific_limits/is_R_or_C)

Commit

2 years ago

fix(analysis/specific_limits/is_R_or_C) Simplified proofs in term of ℝ algebras

Author

xgenereux

xgenereux

Parents

Loading