Theorem IsSl2Triple.e_ne_zero

Modification history