Zulip Chat Archive
Stream: triage
Topic: PR !4#6500: feat: add theorem cast_subgroup_of_units_card...
Random Issue Bot (Sep 08 2023 at 14:04):
Today I chose PR 6500 for discussion!
feat: add theorem cast_subgroup_of_units_card_ne_zero
Created by @Bolton Bailey (@BoltonBailey) on 2023-08-10
Labels: awaiting-author
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC