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
Closed

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

wants to merge 1 commit into from

Commits on Feb 5, 2022

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

    …series_ideal_le`
    @ocfnash
    ocfnash committed Feb 5, 2022
    Configuration menu
    Copy the full SHA
    8d4b9ff View commit details
    Browse the repository at this point in the history