Perm

📁 Source: Mathlib/Data/Finite/Perm.lean

Statistics

Metric	Count
Definitions	0
Theorems card_perm	1
Total	1

Nat

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
card_perm 📖	mathematical	—	card Equiv.Perm factorial	—	card_eq_fintype_card Fintype.card_perm

---

← Back to Index