Repository navigation

catalog: restore rouche_zero_count_eq to active - #666

Closed

mrphilo420 wants to merge 2 commits into

leanprover:mainfrom

mrphilo420:restore-rouche-zero-count-eq

Closed

catalog: restore rouche_zero_count_eq to active#666
mrphilo420 wants to merge 2 commits into
leanprover:mainfrom
mrphilo420:restore-rouche-zero-count-eq

Commits on Oct 27, 2026
- catalog: restore rouche_zero_count_eq to active
  mrphilo420
  committed
  0c48a8f
- docs: mark rouche_zero_count_eq generated workspace active
  mrphilo420
  committed
  70993aa