Theorem Finite.exists_minimal_le

Modification history