diff options
| author | Max Schumacher <maximilianbschumacher@gmail.com> | 2020-09-24 19:00:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-24 19:00:30 +0200 |
| commit | 72d99492b64440ac15c0f330d8d3b3cd0c59a8bc (patch) | |
| tree | 04fe59dc327bbdd08a526d99a8d08e249d1d8007 /no-nb/JSON-no.html.markdown | |
| parent | 1e480bab31fc1a4d3b0c4e4c0206660b1d900cee (diff) | |
| parent | 51d508424f90c86ac6ce4832c06fc84473580aae (diff) | |
Merge pull request #4010 from sburris0/3732
[latex/en] Include variables in \forall formula
Diffstat (limited to 'no-nb/JSON-no.html.markdown')
0 files changed, 0 insertions, 0 deletions