Tests

Add `UniversalPropertyOf(Co)DualWithGiven(Co)DualObject` #3980

Sign in to view logs

Triggered via pull request November 23, 2023 22:10

TKuh

synchronize #1488

TKuh:univ_prop_dual_with_given

Status Success

Total duration 12m 57s

Artifacts –

Tests.yml

on: pull_request

Matrix: test