Skip to content
Documentation

Add rules to distribute conj over sum and prod #504

Sign in to view logs

Add rules to distribute conj over sum and prod

Add rules to distribute conj over sum and prod #504

This workflow is awaiting approval from a maintainer in #680
Triggered via pull request December 12, 2024 11:18
@bennetibenneti
opened #680
benneti:master
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #680

Documentation.yml

on: pull_request
build
build
Fit to window
Zoom out
Zoom in