Commit 2025-01-08 12:15 af8eed89

View on Github →

chore(CategoryTheory): remove data produced by tactic block (#20565)

Estimated changes