Skip to content
Claim Issue

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 –

01-claim-issue.yml

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