Theorem set.enumerate_inj
Modification history
2021-06-18 20:48
src/data/set/enumerate.lean
docs(data/set/enumerate): add module and definition docstrings (#7967)
Modified set.enumerate_injView on Github →2018-05-16 10:16
data/set/enumerate.lean
refactor(data/set/enumerate): proof enumeration_inj using wlog
Modified set.enumerate_injView on Github →