Skip to content
Propose PR

feat: Prove continuity of map K_v -> L_w #115

Sign in to view logs

feat: Prove continuity of map K_v -> L_w

feat: Prove continuity of map K_v -> L_w #115

Triggered via issue November 23, 2024 20:11
@kbuzzardkbuzzard
commented on #215 f56857a
Status Skipped
Total duration 3s
Artifacts –

03-propose-pr.yml

on: issue_comment
propose_pr
0s
propose_pr
Fit to window
Zoom out
Zoom in