Commit 2023-02-01 11:43 ef53c7b9

View on Github →

chore: rename 2 lemmas (#1986)

  • Finset.countable_to_set -> Finset.countable_toSet
  • Continuous.is_open_preimage -> Continuous.isOpen_preimage

Estimated changes

added theorem Finset.countable_toSet
deleted theorem Finset.countable_to_set