Skip to content
Propose PR

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

Sign in to view logs

feat: Prove continuity of map K_v -> L_w

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

Triggered via issue November 12, 2024 21:41
@kbuzzardkbuzzard
commented on #215 2473f61
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