mathlib3
a12ebf49 - Make `Icc_insert_succ` a simp lemma
Commit
View On GitHub
Commit
3 years ago
Make `Icc_insert_succ` a simp lemma
Parents
0a276d03
FAQ Terms Privacy Refunds Impressum
Loading