Theorem image_subtype_univ_ssubset_image_univ
Modification history
2023-01-24 23:10
src/data/fintype/sum.lean
fix(*): add missing `classical` tactics and `decidable` arguments (#18277) …
Modified image_subtype_univ_ssubset_image_univView on Github →