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

[Merged by Bors] - chore(group_theory/group_action/defs): weaken assumptions of mul_smul_comm and smul_mul_assoc #8972

Closed
wants to merge 1 commit into from
Closed

[Merged by Bors] - chore(group_theory/group_action/defs): weaken assumptions of mul_smul_comm and smul_mul_assoc #8972

wants to merge 1 commit into from

Commits on Sep 2, 2021

  1. chore(group_theory/group_action/defs): weaken assumptions of `mul_smu… 

    …l_comm` and `smul_mul_assoc`
    @eric-wieser
    eric-wieser committed Sep 2, 2021
    Configuration menu
    Copy the full SHA
    e1096f7 View commit details
    Browse the repository at this point in the history