Theorem finBoolAlgCat_dual_comp_forget_to_finBddDistLatCat

Modification history