Skip to content

refactor: use comap_nonempty in SurjOn.nonempty_or_eq_empty

ba9e7e2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(Data/Set/Function): add prod lemmas for InjOn, SurjOn, MapsTo, LeftInvOn #38276

refactor: use comap_nonempty in SurjOn.nonempty_or_eq_empty
ba9e7e2
Select commit
Loading
Failed to load commit list.