Move the library note to a new file. #5625
Annotations
2 errors
|
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