Theorem ULift.nndist_eq

Modification history