Commit 2025-02-03 06:30 13a19003

View on Github →

feat: check_compositions, a tactic for diagnosing defeq problems in category theory (#21357)

Estimated changes