Skip to content

lemmas: trim bool2Word simplification comment

a7ee100
Select commit
Loading
Failed to load commit list.
Draft

lemmas: add bool2Word simplification for symbolic Bool expressions #2848

lemmas: trim bool2Word simplification comment
a7ee100
Select commit
Loading
Failed to load commit list.