Commit 2025-09-16 11:11 89a45e50
View on Github →feat(Topology/LinearPMap): the inverse is closed iff f is closed (#29631) The proof is trivial, just needed a bit of sectioning of the file to please the linter.
feat(Topology/LinearPMap): the inverse is closed iff f is closed (#29631) The proof is trivial, just needed a bit of sectioning of the file to please the linter.