型式 けいしき証明 しょうめいだったら
keishikishōmeidattara

Noun
Da Copula

The "-tara" conditional form ("if/when…") of 型式証明

1. If it's a type certification; If it were a type certification

Tara Conditional