Theorem MulAction.IsBlock.eq_univ_of_card_lt

Modification history

2024-10-31 20:26
Mathlib/GroupTheory/GroupAction/Blocks.lean
chore(GroupTheory/GroupAction/Blocks): correct doc and change one name (#18375) …
Added MulAction.IsBlock.eq_univ_of_card_ltView on Github →