Theorem NoMinOrder.lowerBounds_univ

Modification history