射影 しゃえう ぐんであれば
shaeukagu ndeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 射影加群

1. If it is a projective module; When it is a projective module

Ba Conditional
Mathematics