Theorem Nat.card_image_le

Modification history

2024-07-01 09:41

Mathlib/SetTheory/Cardinal/Finite.lean

chore(SetTheory): remove use of autoImplicit (#14299)

Modified Nat.card_image_le View on Github →

2023-12-19 12:00

Mathlib/SetTheory/Cardinal/Finite.lean

feat: Preimage of pointwise multiplication (#8956) …

Added Nat.card_image_le View on Github →