operations): prod_le_iff and le_prod_iff, also for groups and modules (#11898)

Commit

3 years ago

feat(group_theory/submonoid/operations): prod_le_iff and le_prod_iff, also for groups and modules (#11898)

Author

nomeata

Parents