Theorem exists_covby_infinite_Iic_of_infinite_Iic

Modification history

2024-07-10 15:41
Mathlib/Order/Atoms/Finite.lean
feat(Order/Atoms): strong atomicity typeclass (#14004) …
Added exists_covby_infinite_Iic_of_infinite_IicView on Github →