mathlib3
7d4097e6 - @[simp] to_class_some makes simp_nf linter fail
Commit
View On GitHub
Commit
3 years ago
@[simp] to_class_some makes simp_nf linter fail
Author
alreadydone alreadydone
Parents
3951772b
FAQ Terms Privacy Refunds Impressum
Loading