Revision #1332 → #2410 · back to history
2f59177f24d818feeb022f9d| Field | From #1332 | To #2410 |
|---|---|---|
| note | The notion of a minterm (a conjunction over all input variables) is not defined in Mathlib. | The notion of a minterm (a conjunction over all input variables) is not defined in Mathlib (grep for 'minterm' yields no matches). |
d5109aea55ca