Theorem Function.Fiber.image_eq_image_mk

Modification history