Theorem IsLocalization.bot_lt_comap_prime

Modification history