EGAとかブルバキとかは「自明」で略さないようにしてるように思っていたが
本当に一箇所も使ってないかどうか解らんな
行間をなくすように小さい命題を積み重ねて書くのがブルバキのスタイルではある

だからと言って「自明」を使ってる本より読みやすいとも思わんな