Theorem UpperSet.map_refl

Modification history