Commit 2024-12-20 16:26 fcdc29cb

View on Github →

doc(1000.yaml): add entries for 100 theorems (#20114) This is exhaustive.

Estimated changes