mathlib
391c90a3 - feat(logic/basic): subsingleton_of_forall_eq (#6376)
Commit
View On GitHub
Commit
5 years ago
feat(logic/basic): subsingleton_of_forall_eq (#6376)
Author
kex-y kex-y
Parents
e6d23d23
FAQ Terms Privacy Refunds Impressum
Loading