Homotopy Type Theory power-associative magma > history (history)

June 13, 2022

March 10, 2022