Theorem Function.Injective.comap_cofinite_eq

Modification history