diff options
| author | Eduardo Julian | 2023-01-06 12:55:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2023-01-06 12:55:42 -0400 |
| commit | 06f5b1c544ad27eecfbc7cc9b3bd7591f9e33423 (patch) | |
| tree | 06d2d9092a220422fd644f7f205264df8a53347c /documentation/bookmark/math/proof.md | |
| parent | ab1829d77c7d12af344af68d6c50d391f1126640 (diff) | |
Now documenting exported aliases.
Diffstat (limited to 'documentation/bookmark/math/proof.md')
0 files changed, 0 insertions, 0 deletions