Commit 2023-09-26 13:13 1bda3b46

View on Github →

feat(Topology/SubsetProperties): add Inducing.isCompact_preimage (#7290) Simple generalisation of ClosedEmbedding.isCompact_preimage; its injectivity hypothesis was never used.

Estimated changes