Theorem Function.Surjective.filter_map_top

Modification history