switch to mean_class style def - SemanticDiff

Commit

3 years ago

switch to mean_class style def

References

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

Author

matthias567

matthias567

Parents

Loading