Commit 2024-06-01 17:36 2a5d9ec5
View on Github →feat: t.card ≤ (s / t).card (#13436)
and other simple basic results about pointwise actions of finsets.
From LeanAPAP
feat: t.card ≤ (s / t).card (#13436)
and other simple basic results about pointwise actions of finsets.
From LeanAPAP