compiler errorsHow to resolve na

compiler errors - How to resolve namespace conflict in Lean4 - Stack Overflow
In lean4 I cannot rename imported files, which makes me confused on how to resolve name conflicts.Supp
compiler errorsHow to resolve namespace conflict in Lean4Stack Overflow
admin2天前
50