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

Date: