Theorem LowerSet.symm_map

Modification history