Theorem GaloisCoinsertion.u_bsupᵢ_of_lu_eq_self

Modification history