Theorem InitialSeg.antisymm_to_fun

Modification history