Theorem Fin.nontrivial_iff_two_le

Modification history