A 2-Categorical Proof of Frobenius for Fibrations Defined From a Generic Point

Date: June 28, 2022