Theorem Infinite.sigma_of_right

Modification history

2025-02-20 09:21

Mathlib/Data/Fintype/Card.lean

chore(Data/Fintype): split `Fintype/Card.lean` (#21840) …

Modified Infinite.sigma_of_right View on Github →

2024-07-31 21:06

Mathlib/Data/Fintype/Card.lean

feat(Order/KonigLemma): Kőnig's infinity lemma (#12273) …

Added Infinite.sigma_of_right View on Github →