Theorem finBoolAlg_dual_comp_forget_to_finBddDistLat

Modification history