Theorem Stonean.pullback.lift_fst

Modification history