Theorem Rep.standardComplex.quasiIso_forget₂_εToSingle₀

Modification history