Theorem Cardinal.mem_range_lift_of_le

Modification history

2024-10-23 06:16

Mathlib/SetTheory/Cardinal/Basic.lean

chore(SetTheory/Cardinal/Basic): `mem_range_of_le_lift` → `mem_range_lift_of_le` (#17970) …

Added Cardinal.mem_range_lift_of_le View on Github →