Theorem Function.fixedPoints_subset_range

Modification history