Theorem IsSl2Triple.f_ne_zero

Modification history