adapt mean to mean_class - SemanticDiff

Commit

3 years ago

adapt mean to mean_class

References

amenable_groups

#16574 - feat (group_theory/amenable) : define amenable groups

Author

matthias567

matthias567

Parents

Loading