Skip to content

Add rules to distribute conj over sum and prod #271

Add rules to distribute conj over sum and prod

Add rules to distribute conj over sum and prod #271

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

SpellCheck.yml

on: pull_request
Spell Check with Typos
Spell Check with Typos
Fit to window
Zoom out
Zoom in