Commit 2023-02-06 08:57 869cac6e

View on Github →

chore: rename toFinset/toMultiset consistently in Data.List.Cycle (#2057) renames some names that don't follow naming conventions

Estimated changes

added theorem Cycle.card_toMultiset
deleted theorem Cycle.card_to_multiset
added theorem Cycle.coe_toFinset
added theorem Cycle.coe_toMultiset
deleted theorem Cycle.coe_to_finset
deleted theorem Cycle.coe_to_multiset
added theorem Cycle.nil_toFinset
added theorem Cycle.nil_toMultiset
deleted theorem Cycle.nil_to_finset
deleted theorem Cycle.nil_to_multiset
added theorem Cycle.toFinset_eq_nil
deleted theorem Cycle.to_finset_eq_nil
deleted theorem Cycle.to_multiset_eq_nil