mathlib
fd77cbf2 - chore(data/set/{function,countable}): extract a lemma from a proof (#15668)

Commit

3 years ago

chore(data/set/{function,countable}): extract a lemma from a proof (#15668)

Author

urkud

urkud

Parents

Loading