Theorem Set.InjOn.ncard_image

Modification history

2026-01-31 14:53
Mathlib/Data/Set/Card.lean
chore: Rename ncard_image_of_injOn (#34589) …
Added Set.InjOn.ncard_imageView on Github →