Commit 2024-01-16 00:56 6f112760

View on Github →

feat: minimize requirements for inv/neg on C(X, Y) (#9758)

Estimated changes

modified theorem ContinuousMap.coe_inv
modified theorem ContinuousMap.inv_apply
modified theorem ContinuousMap.inv_comp