Def category_theory.regular_mono.lift'

Modification history