Skip to content

revised deprecation warning

78a3600
Select commit
Loading
Failed to load commit list.
Merged

lemmas about semiring structure induced by _× x #2272

revised deprecation warning
78a3600
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs