Commit 2024-01-16 15:36 c705f360

View on Github →

feat(Filter/Basic): add Filter.comap_injective (#9774)

Estimated changes

added theorem Filter.comap_injective