diff options
| author | Spencer Burris <sburris@posteo.net> | 2020-09-12 20:52:37 -0700 |
|---|---|---|
| committer | Spencer Burris <sburris@posteo.net> | 2020-09-12 20:52:37 -0700 |
| commit | 51d508424f90c86ac6ce4832c06fc84473580aae (patch) | |
| tree | 92a642dd9fde0b1312fe63cf91678c0988058ae9 /d.html.markdown | |
| parent | 11520e91a1446569520d0b2aeb29c6ae03e0c088 (diff) | |
Include variables in \forall formula
Diffstat (limited to 'd.html.markdown')
0 files changed, 0 insertions, 0 deletions