Formalizing Delcourt–Postle's refined absorption in Lean

Traverso Gianini, Juan Pablo

DOI: 10.5281/zenodo.23715622

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.