Skip to content

overload simplifiable for special cases of Mul#188

Merged
dlfivefifty merged 2 commits intomasterfrom dl/simplifiablemulNov 27, 2024

Commits

Commits on Aug 12, 2024