slavapestov/factor — Issue #321: Relate { max supremum } & { min infimum } in docs.
Author: yac
Created: 2011-10-31 20:04:16+00:00
State: open

This should make infimum/supremum much easier to find.

Patch attached although applying it is about as much work as writing the two lines by hand ;)