Theorem ULift.edist_eq

Modification history