# Changelog (unreleased)

## [Unreleased]

### Added

- in `finmap.v`:
  + lemma `card_fset_sum1`

- Added a theory of finite permutations in `finperm.v`

### Changed

### Renamed

### Removed

### Infrastructure

### Misc
