mathlib
44b649ca - doc(algebra.lattice_ordered_group): Remove verbose docstrings (#10468)

Commit

4 years ago

doc(algebra.lattice_ordered_group): Remove verbose docstrings (#10468) doc(algebra.lattice_ordered_group): Remove verbose docstrings

Author

mans0954

Parents