Theorem IsSl2Triple.symm_iff

Modification history