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.
feat(Topology/SubsetProperties): add Inducing.isCompact_preimage (#7290)
Simple generalisation of ClosedEmbedding.isCompact_preimage
; its injectivity hypothesis was never used.