diff options
| author | Jason Gross | 2020-08-30 15:50:53 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-08-30 15:50:53 -0400 |
| commit | b0894f109fac0d6d426a889cdc47acda3a6f07b2 (patch) | |
| tree | 31e9496970633630b5e034c47979a4b7bcd65822 /doc/common/styles/html/coqremote/modules/node | |
| parent | 94d9fe2b6cb06fe7f862683d8337433e18314001 (diff) | |
Add :math: around math
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node')
0 files changed, 0 insertions, 0 deletions