Theorem RingHom.IsStableUnderBaseChange.pullback_fst_app_top

Modification history