Theorem exists_int_le

Modification history

2024-11-04 23:57
Mathlib/Algebra/Order/Archimedean/Basic.lean
feat(AtTopBot/Archimedean): weaken TC assumptions (#18445) …
Added exists_int_leView on Github →