Commit 2020-05-06 22:41 0c8d2e28

chore(data/set/countable): use dot syntax here and there (#2617) Renamed:

• exists_surjective_of_countable -> countable.exists_surjective;
• countable_subset -> countable.mono;
• countable_image -> countable.image;
• countable_bUnion -> countable.bUnion;
• countable_sUnion -> countable.sUnion;
• countable_union -> countable.union;
• countable_insert -> countable.insert;
• countable_finite -> finite.countable; Add:
• finset.countable_to_set