mathlib3
a104211d - feat(data/list): suffix_cons_iff (#7287)
Commit
View On GitHub
Commit
4 years ago
feat(data/list): suffix_cons_iff (#7287)
Author
b-mehta b-mehta
Parents
98ccc666
FAQ Terms Privacy Refunds Impressum
Loading