Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

[Merged by Bors] - feat(algebra/lie/nilpotent): add lemma lie_module.coe_lower_central_series_ideal_le #11851

Closed
wants to merge 1 commit into from

feat(algebra/lie/nilpotent): add lemma `lie_module.coe_lower_central_…

8d4b9ff
Select commit
Loading
Failed to load commit list.
Closed

[Merged by Bors] - feat(algebra/lie/nilpotent): add lemma lie_module.coe_lower_central_series_ideal_le #11851

feat(algebra/lie/nilpotent): add lemma `lie_module.coe_lower_central_…
8d4b9ff
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs