Theorem Set.preimage_eq_core

Modification history