feat(to_dual): use the new to_dual_cast framework
#34042
+543
−127
Annotations
3 errors
|
lint mathlib
Process completed with exit code 1.
|
|
Check {Mathlib, Tactic, Counterexamples, Archive}.lean
Process completed with exit code 1.
|
|
update {Mathlib, Tactic, Counterexamples, Archive}.lean
Process completed with exit code 2.
|
Loading