有限表示な平坦加群は射影的なことの、元を取らない証明

@Ryuji

@sakuramath

@Tajuamru

@poormath

@microsupport

@kzaukzau

@seasawher