mathlib
750d117d - feat(logic/basic): subsingleton_iff_forall_eq (#6379)
Commit
View On GitHub
Commit
5 years ago
feat(logic/basic): subsingleton_iff_forall_eq (#6379)
Author
kex-y kex-y
Parents
59bf982e
FAQ Terms Privacy Refunds Impressum
Loading