put arguments on one line - SemanticDiff

Commit

3 years ago

put arguments on one line

References

#13307 - feat(field_theory/krull_topology): `alg_hom_of_ultrafilter`

Author

Sebastian-Monnet

Sebastian-Monnet

Parents

Loading