Skip to content

feat(Topology/Algebra/LinearMapCompletion): f.extend toComplL = f.fromCompletion #175933

feat(Topology/Algebra/LinearMapCompletion): f.extend toComplL = f.fromCompletion

feat(Topology/Algebra/LinearMapCompletion): f.extend toComplL = f.fromCompletion #175933

Triggered via pull request August 18, 2026 21:56
@themathqueenthemathqueen
synchronize #42920
Status Success
Total duration 1m 22s
Artifacts

PR_summary.yml

on: pull_request_target
post-or-update-summary-comment
1m 20s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in